Optimal. Leaf size=22 \[ (-a-b x)^{-n} (a+b x)^n \log (x) \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.00, antiderivative size = 22, normalized size of antiderivative = 1.00, number of steps
used = 2, number of rules used = 2, integrand size = 23, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.087, Rules used = {23, 29}
\begin {gather*} \log (x) (-a-b x)^{-n} (a+b x)^n \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 23
Rule 29
Rubi steps
\begin {align*} \int \frac {(-a-b x)^{-n} (a+b x)^n}{x} \, dx &=\left ((-a-b x)^{-n} (a+b x)^n\right ) \int \frac {1}{x} \, dx\\ &=(-a-b x)^{-n} (a+b x)^n \log (x)\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.00, size = 22, normalized size = 1.00 \begin {gather*} (-a-b x)^{-n} (a+b x)^n \log (x) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [C] Result contains higher order function than in optimal. Order 9 vs. order
3.
time = 0.08, size = 56, normalized size = 2.55
method | result | size |
risch | \(\ln \left (x \right ) \left (b x +a \right )^{n} {\mathrm e}^{-n \left (i \pi \mathrm {csgn}\left (i \left (b x +a \right )\right )^{3}-i \pi \mathrm {csgn}\left (i \left (b x +a \right )\right )^{2}+i \pi +\ln \left (b x +a \right )\right )}\) | \(56\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A]
time = 0.30, size = 6, normalized size = 0.27 \begin {gather*} \left (-1\right )^{n} \log \left (x\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A]
time = 1.58, size = 7, normalized size = 0.32 \begin {gather*} \cos \left (\pi n\right ) \log \left (x\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [C] Result contains complex when optimal does not.
time = 4.61, size = 44, normalized size = 2.00 \begin {gather*} \begin {cases} e^{- i \pi n} \log {\left (-1 + \frac {b \left (\frac {a}{b} + x\right )}{a} \right )} & \text {for}\: \left |{\frac {b \left (\frac {a}{b} + x\right )}{a}}\right | > 1 \\e^{- i \pi n} \log {\left (1 - \frac {b \left (\frac {a}{b} + x\right )}{a} \right )} & \text {otherwise} \end {cases} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [F]
time = 0.00, size = -1, normalized size = -0.05 \begin {gather*} \int \frac {{\left (a+b\,x\right )}^n}{x\,{\left (-a-b\,x\right )}^n} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________